mstring.h

typedef /*@abstract@*/ char *mstring;